Description of the jmltest package in KeY
نویسنده
چکیده
Background This technical report describes implementation of the ideas explained in [1], mainly done in the jmltest package in KeY and referred to as JML-Test. JMLTest is used to enrich an existing specification of a method with structural information of the methods body. The enriched specification is written to a file with JML annotations. The objective is to use a blackbox testing tool with this specification to achieve whitebox testing. The state of code referred to in this document was committed on 2007-10-301.
منابع مشابه
Introducing the Iranian moss flora explorer
Mosses (a section of bryophytes), are considered as an important group of non-flowering plants which a modern computer-assisted database system is not yet prepared for their determination and description key in Iran. Following a software package recently designed under a research project for assessment of moss diversity of Iran by the authors, the present paper is prepared to: I) introducing co...
متن کاملMeta-Analysis in R Using Package rmeta
Meta-Analysis means a statistical analysis on the results of their findings is to combine a large number of independent studies. Meta-Analysis software is needed to be done for convenience, Statistical Software for Meta-Analysis is available in many statistical packages available in the present study provide software R is for Meta-Analysis. First, a brief description of the Meta-Analysis, Stati...
متن کاملMethodology of Description in Shaykh al – Ishraq
As an ontologist philosopher Shaykh al – Isharq believes in a heirarchegal being on the basis of which presents his classification of various descriptions. These descriptions are various both in terms of longitudinal and latitudinal. That is, for instance though his intative descriptions are at the latitude of his logical analytic descriptions, possesses itself a longitudinal order successiv...
متن کاملSoftware Tools for the Analysis of Functional Magnetic Resonance Imaging
Functional magnetic resonance imaging (fMRI) has become the most popular method for imaging of brain functions. Currently, there is a large variety of software packages for the analysis of fMRI data, each providing many features for users. Since there is no single package that can provide all the necessary analyses for the fMRI data, it is helpful to know the features of each software package. ...
متن کاملAnalyzing Knowledge of Rural Cooperatives Managers in Khouzestan Province toward Electronic Commerce
The purpose of this research was analyzing knowledge of rural cooperatives managers in Khouzestan province toward electronic commerce, Iran. The research method was correlative descriptive. The population of this study included rural cooperatives managers in Khuzestan province. The total number of members was 101 people. Due to the limited population, census method was used. Questionnaire relia...
متن کامل